35 ideas
| 2666 | Carneades' pinnacles of philosophy are the basis of knowledge (the criterion of truth) and the end of appetite (good) [Carneades, by Cicero] |
| 21390 | Future events are true if one day we will say 'this event is happening now' [Carneades] |
| 21672 | We say future things are true that will possess actuality at some following time [Carneades, by Cicero] |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| 16554 | Activities have place, rate, duration, entities, properties, modes, direction, polarity, energy and range [Machamer/Darden/Craver] |
| 18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
| 16556 | Penicillin causes nothing; the cause is what penicillin does [Machamer/Darden/Craver] |
| 15825 | Carneades denied the transitivity of identity [Carneades, by Chisholm] |
| 21389 | Carneades distinguished logical from causal necessity, when talking of future events [Long on Carneades] |
| 16562 | We understand something by presenting its low-level entities and activities [Machamer/Darden/Craver] |
| 16563 | The explanation is not the regularity, but the activity sustaining it [Machamer/Darden/Craver] |
| 16555 | Functions are not properties of objects, they are activities contributing to mechanisms [Machamer/Darden/Craver] |
| 16529 | Mechanisms are systems organised to produce regular change [Machamer/Darden/Craver] |
| 16530 | A mechanism explains a phenomenon by showing how it was produced [Machamer/Darden/Craver] |
| 16553 | Our account of mechanism combines both entities and activities [Machamer/Darden/Craver] |
| 16559 | Descriptions of explanatory mechanisms have a bottom level, where going further is irrelevant [Machamer/Darden/Craver] |
| 16528 | Mechanisms are not just push-pull systems [Machamer/Darden/Craver] |
| 16564 | There are four types of bottom-level activities which will explain phenomena [Machamer/Darden/Craver] |
| 16561 | We can abstract by taking an exemplary case and ignoring the detail [Machamer/Darden/Craver] |
| 21671 | Voluntary motion is intrinsically within our power, and this power is its cause [Carneades, by Cicero] |
| 21391 | Some actions are within our power; determinism needs prior causes for everything - so it is false [Carneades, by Cicero] |
| 21674 | Even Apollo can only foretell the future when it is naturally necessary [Carneades, by Cicero] |
| 7398 | Carneades said that after a shipwreck a wise man would seize the only plank by force [Carneades, by Tuck] |
| 21392 | People change laws for advantage; either there is no justice, or it is a form of self-injury [Carneades, by Lactantius] |
| 16558 | Laws of nature have very little application in biology [Machamer/Darden/Craver] |